login:        password:      
Combats Scrolls
Rambler's Top100
Гость БК
Теория Научного Коммунизма :Ъ | Теоретик Коммунизма Open user info Open user photogallery
Friend page
23.03.15 15:03   |  Emet Open user info Open user photogallery |     ru
Post comment
updated 22.03.15 00:15
21.03.15 23:13   |  Emet Open user info Open user photogallery |   
 ru


Post comment
17.03.15 21:36   |  Октябрь Open user info Open user photogallery |     ru
 Слушать!
Comments: 1 | Post comment
updated 14.03.15 22:43
14.03.15 11:10   |  тимрик Open user info Open user photogallery |   История одного нытика....
 ru
 03.03.15 12:04 Kanehara [11] против тимрик [11] »»| Cтатистика (цп, склонки) http://devilscity.combats.com/logs.pl?log=1425373498.83899
05.03.15 09:38 Kanehara [11] против тимрик [11] »»| Cтатистика (цп, склонки) http://devilscity.combats.com/logs.pl?log=1425537490.12248






а стоит только напасть в ответ, то сразу нытью в кланюнион )))
10.03.15 16:26 тимрик [11], убейсяапстену [12] против Kanehara [11], Протуберан [11], litexa [11], armin_aka_buka [12], Мена [12] »»| Cтатистика
Comments: 1 | Post comment
13.03.15 17:29   |  Emet Open user info Open user photogallery |     ru



Post comment
06.03.15 19:56   |  Emet Open user info Open user photogallery |   Теорема Гёделя  ru
 Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя[~ 1] — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.

Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.

Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
Post comment
04.03.15 16:01   |  Emet Open user info Open user photogallery |     ru
Post comment
24.02.15 15:44   |  Emet Open user info Open user photogallery |     ru
 "Говоришь, что все наместники - ворюги?
Но ворюга мне милей, чем кровопийца."(c) И. Бродский
Comments: 1 | Post comment
16.02.15 22:12   |  Emet Open user info Open user photogallery |     ru
 Когда разочаровываешься в человеке, становится все равно, где он, с кем он и что он о тебе думает или не думает.
© Неизвестный автор, 809 цитат

Post comment
15.02.15 22:59   |  Emet Open user info Open user photogallery |     ru
Post comment

Total posts: 7128 Pages: 713
«« « 1.. 9 10 11 12 13 14 15 16 17 18 19 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 100.. 110.. 120.. 130.. 140.. 150.. 160.. 170.. 180.. 190.. 200.. 210.. 220.. 230.. 240.. 250.. 260.. 270.. 280.. 290.. 300.. 310.. 320.. 330.. 340.. 350.. 360.. 370.. 380.. 390.. 400.. 410.. 420.. 430.. 440.. 450.. 460.. 470.. 480.. 490.. 500.. 510.. 520.. 530.. 540.. 550.. 560.. 570.. 580.. 590.. 600.. 610.. 620.. 630.. 640.. 650.. 660.. 670.. 680.. 690.. 700.. 710.. » »»
 
14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна 14.11.14 20:01
: Справедливость
reason: Очевидна
 


« 2025 june »
Mo Tu We Th Fr Sa Su
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30

 
 © 2007–2025 «combats.com»
  18+  
feedback